『Typing Haskell in Haskell』
Haskell
の型検査器を実際にうごく Haskell プログラムとして示してある
Simon Peyton Jones
論文
https://web.cecs.pdx.edu/~mpj/thih/
訳ノート
https://uhideyuki.sakura.ne.jp/studs/index.cgi/ja/thihnote
https://qiita.com/lambdataro/items/1e4d795d3dd97a94c8f3
Mokkosu
実装
https://github.com/cronokirby/haskell-in-haskell
https://zenn.dev/yubrot/articles/e7ad117b3471cc